3 sat is np complete proof